Science of Science Tool - PDFSEARCH.IO - Document Search Engine

Science of Science Tool
Results: 1524

#	Item
341	Evaluation Personal Conservation Assessment Tool An official publication of Delta Farmers Advocating Resource Management Latest Revision: 2013 Add to Reading List Source URL: deltafarm.org Language: English - Date: 2014-06-13 17:59:06 Irrigation Land management Agronomy Water No-till farming Cover crop Evapotranspiration Wetland Tillage Agricultural soil science Soil science Agriculture
342	Developing a tool for morphological analysis of underdescribed languages Jeff Good (MPI EVA) and Emily Bender (University of Washington) Montage (Bender et alis a long-term project which has the goal of building Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2005-05-31 06:11:27 Anthropology Cognitive science Humanities Language Linguistics Morphological analysis Ontology Grammar Science Knowledge Ethology
343	Garakabu2: A Formal Verification Tool for ZIPC Weiqiang Kong, Kyushu University, Japan [Jointly developed by] Fukuoka IST & CATS Co. Ltd. & Kyushu University of Japan Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Logic in computer science Theoretical computer science Usability Verification Software development process Computer science Technology Formal methods Science Formal verification
344	MODELLING, A METHOD OF SETTING RESEARCH PRIORITIES, NOT JUST THE TOOL FOR THE FINAL ANALYSIS OF WESTERN AUSTRALIAN PILCHARDS W.J. Fletcher Bernard Bowen Fisheries Research Add to Reading List Source URL: www.asfb.org.au Language: English Fisheries management Sardine Stock assessment Population dynamics of fisheries Fish Fisheries science Overfishing
345	Marine Chemist Association, Inc. 76 Farmholme Road ! Stonington, CTP ! F ! APRIL 2015 NORFOLK AIRPORT HILTON Add to Reading List Source URL: www.marinechemist.org Language: English - Date: 2015-04-08 18:59:07 Fire safety Chemical warfare Association of Firearm and Tool Mark Examiners Liquefied natural gas Science Nature Chemistry Marine chemist Oceanography
346	HAWK: A Tool for Testing AMELIE Honors Thesis Ryan Marcus May 26, 2014 ii Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2014-05-29 14:27:38 Hypothesis testing Scientific method Statistical inference Psychometrics Data analysis Statistical hypothesis testing MIM-23 Hawk Experiment Quality assurance Science Design of experiments Statistics
347	eHiTS provides an optimal balance between accuracy and speed in molecular docking. The state of the art conformational search algorithm and eHiTS’ native top-performing scoring function give rise to a superb tool for p Add to Reading List Source URL: www.simbiosys.ca Language: English - Date: 2010-08-19 14:36:27 Biology Molecular modelling Drug discovery Protein structure Simbiosys Computational chemistry Docking DOCK Virtual screening Science Chemistry Bioinformatics
348	Introduction of the Sustainability Assessment Tool RISE into Canadian Agriculture Hans Porsche1, Matthew Fischer 2, Francesco Braga3, Fritz Häni4 1 Swiss College of Agriculture; 2 Nestlé Canada; Add to Reading List Source URL: www.apsa.am Language: English - Date: 2010-04-05 03:19:36 Sustainability Organic farming Organic gardening Agricultural economics Farm Land management Sustainable agriculture Genuine progress indicator Family farm Environment Agriculture Environmental social science
349	ClockWork: a Real-Time Feasibility Analysis Tool Pierre G. Jansen, Ferdy Hanssen, Sape Mullender Dept. of Computer Science — University of Twente E-mail: {jansen,hanssen}@cs.utwente.nl May 21, 2002 Add to Reading List Source URL: www.croky.net Language: English - Date: 2003-07-28 17:14:21 Planning Scheduling Concurrent computing Business Project management Real-time operating system Preemption Feasibility study Operating system Computing Scheduling algorithms Technology
350	Vinter: A Vampire-Based Tool for Interpolation ? Kryˇstof Hoder1 , Andreas Holzer2 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-09-19 03:03:42 Formal methods Logical syntax Logic in computer science Mathematical logic Automated theorem proving Interpolation Satisfiability Modulo Theories Vampire Theorem Logic Theoretical computer science Mathematics